UML Semantics version 1 . 0 13 January 1997
ثبت نشده
چکیده
Photocopying, electronic distribution, or foreign-language translation of this document is permitted, provided this document is reproduced in its entirety and accompanied with this entire notice, including the following statement: The most recent updates on the Unified Modeling Language are available via the worldwide web:
منابع مشابه
An Executable Formal Semantics for a UML State Machine Kernel Considering Complex Structured Data
We present a comprehensive formal semantics for a UML state machine kernel which also considers the use and manipulation of complex structured data. We refer to the UML standard Version 2.1.1 which was published in year 2007. There has been no work that completely integrates complex structured data into a UML state machine semantics. We follow a ”semantics-first” approach (in opposite to a ”com...
متن کاملMarte CCSL and East-ADL2 Timing Requirements
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to provide a set of abstract modeling and analysis services on top of the implementation code. In an effort to make all these languages, and more importantly their underlying models, interoperable, we use the UML Profile for MARTE as a pivot to define the semantics of these models. In this paper,...
متن کاملTrace Semantics of Interactions in UML 2.0
The Unified Modeling Language (UML, see [27]) is the industry standard for modeling software intensive systems. Recently, the standard has been upgraded from version 1.5 to 2.0, introducing significant changes and additions. In particular, Message Sequence Charts (MSC) according to the ISO standard (see [13, 12]) have been integrated. In UML, the concept underlying these notations is called int...
متن کاملSystem Model Semantics of Class Diagrams
Defining semantics for UML is a difficult task. Disagreements in the meaning of UML constructs as well as the size of UML are major obstacles. In this report, we describe our approach to define the semantics for UML. Semantics is defined denotationally as a mapping into our semantics domain called the system model [4, 5, 6]. We demonstrate our approach by defining the semantics for a comprehens...
متن کاملA Metamodel for Object-Oriented Statecharts
syntax static semantics dynamic semantics UML approach class diagrams OCL natural language Object-Z approach Object-Z class specs Object-Z predicates Object-Z operation & class diagrams in class specs specs Figure 4: Comparison of UML and Object-Z approach entities. We use Object-Z as a single formalism for the abstract syntax, the static semantics and the dynamic semantics. 1.5 Comparison to t...
متن کامل